run sql script file in mysql workbench